Generalizing Nonlinear Planning to Handle Complex Goals and Actions with Context-Dependent Effects
نویسنده
چکیده
This paper presents a general, mathematically rigorous approach to nonlinear planning that handles both complex goals and actions with context-dependent effects. A goal can be any arbitrary well-formed formula containing conjunctions, disjunctions, negations, and quantifiers. Actions are likewise not constrained and can have an unrestricted number of complex, situation-dependent effects. The approach presented here can thus be used to solve a wider range of problems than previous approaches to nonlinear planning. The approach is based on previous work by the author on linear planning. The same mathematical framework is used with the results extended to nonlinear plans.
منابع مشابه
Extending Conventional Planning Techniques to le Actions wit cts
This paper presents a method of solving planning problems that involve actions whose effects change according to the situations in which they are performed. The approach is an extension of the conventional planning methodology in which plans are constructed iteratively by scanning for goals that are not yet satisfied, inserting actions to achieve them, and introducing additional subgoals to be ...
متن کاملPlanning Actions with Context-dependent Eeects : a State-space Based Approach
|Few planners have addressed the problem of planning actions with context-dependent eeects, although any real-world application would require such a capacity. In this paper, we present a model of actions with context-dependent eeects, stemming from a structured representation of world's states based on the notion of state-variables. From a logical point of view, we distinguish between two types...
متن کاملS-MEP: A Planner for Numeric Goals
Planning for numeric goals is an important problem. Only one of the many participants from the 2002 international planning competition (Metric-FF) can effectively handle problems containing numeric goal expressions. We report on planner S-MEP (Sequential More Expressive Planner) in this paper. S-MEP handles non-linear as well as linear expressions in preconditions, effects and goal. Metric-FF h...
متن کاملSearching for Planning Operators with Context-Dependent and Probabilistic Effects
Providing a complete and accurate domain model for an agent situated in a complex environment can be an extremely diicult task. Actions may have diierent eeects depending on the context in which they are taken, and actions may or may not induce their intended eeects, with the probability of success again depending on context. We present an algorithm for automatically learning planning operators...
متن کاملAn Extensible Action Architecture for Planning in Complex Domains
Planning in complex domains, including temporal and resource planning, often requires an expressive and flexible model of actions. For example, in a rover domain, the energy of the rover, a bottleneck resource, is consumed at a high rate while performing a drive action and in proportion to the distance traversed. Based on the current energy levels, the planning system can adapt the distance tra...
متن کامل